Nuprl Lemma : decidable__not 13,42

P:{j}. Dec(P Dec(P
latex


Upcore 2, core 2
Definitionst  T, A, P  Q, , x:AB(x)
Lemmasdecidable wf, decidable false, false wf, decidable implies

origin